A Uni ed Constraint Model for XML
نویسندگان
چکیده
Integrity constraints are an essential part of modern schema de nition languages. They are useful for semantic speci cation, update consistency control, query optimization, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCMmodel is easy to use and makes formal reasoning possible. Because it relies on a powerful type system, the UCM model is expressive, capturing in a single framework the constraints found in relational databases, object-oriented schemas and XML DTDs. We study the problem of consistency of UCM constraints, the interaction between constraints and subtyping, and algorithms for implementing these constraints.
منابع مشابه
GENERIC CRSs INFINITE - DOMAIN PROBLEMS FINITE - DOMAIN PROBLEMS
The lack of a uni ed framework for constraint problems has resulted in a diversity of constraint solution techniques and methods for describing constraint problems. A uni ed framework would allow the construction of a kernel constraint engine, capable of solving constraint problems composed of models from di erent domains, such as engineering and geometric problems. As a rst step towards such a...
متن کاملTimed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a uni ed framework for the analysis of biological systems, as they can be described, simulated and veri ed using th...
متن کاملخوشهبندی فراابتکاری اسناد فارسی اِکساِماِل مبتنی بر شباهت ساختاری و محتوایی
Due to the increasing number of documents, XML, effectively organize these documents in order to retrieve useful information from them is essential. A possible solution is performed on the clustering of XML documents in order to discover knowledge. Clustering XML documents is a key issue of how to measure the similarity between XML documents. Conventional clustering of text documents using a do...
متن کاملPhenomenology of the Minimal Supergravity SU ( 5 ) Model
The minimal grand uni ed supergravity model is discussed. Requiring radiative breaking of the electroweak gauge symmetry, the uni cation of b and Yukawa couplings, a su ciently stable nucleon, and not too large a relic density of neutralinos produced in the Big Bang constrains the parameter space signi cantly. In particular, the soft breaking parameter m1=2 has to be less than about 130 GeV, an...
متن کاملExtending XML-RL with Update
With the extensive use of XML in applications over the Web, how to update XML data is becoming an important issue because the role of XML has expanded beyond traditional applications, in which XML is used as a mean for data representation and exchange on the Web. This paper presents a novel declarative XML update language which is an extension of the XML-RL query language. Compared with other e...
متن کامل